body {
  background-color: white;
  margin:10px;
  font-size: medium;
  font-family:Verdana;
}

h1 {
  color: #000000; 
  font-size: xx-large;
}

h2 {
  color: #0000A0;
  font-size: x-large;
  font-family:Verdana;
}

h3 {
  color: #0000A0;
  font-size: large;
}

/* Make the text shrink to fit narrow windows, but not stretch too far in 
wide windows. */ 
p,h1,h2,div.content div {
  max-width: 100%;
  /* Hack for IE6 */
  width: auto !important; width: 100%;
}

pre.codeinput {
  background: #EEEEEE;
  padding: 10px;
}
@media print {
  pre.codeinput {word-wrap:break-word; width:100%;}
} 



span.keyword {color: #0000FF}
span.comment {color: #228B22}
span.string {color: #A020F0}
span.untermstring {color: #B20000}
span.syscmd {color: #B28C00}

pre.codeoutput {
  color: #666666;
  padding: 10px;
}

pre.error {
  color: red;
}

p.footer {
  text-align: right;
  font-size: xx-small;
  font-weight: lighter;
  font-style: italic;
  color: gray;
}

p.header {
  background: #EEEEEE;
  padding: 2px;
  text-align: left;
  font-weight: bold;
  font-style: bold;
  color: black;
}
@media print {
  p.header {word-wrap:break-word; width:100%;}
}

a {
 font-weight: bold;
 color: blue;
}

ul {
 list-style-type: square;
}